A Constructive and Modular Approach to Decentralized Supervisory Control Problems
نویسندگان
چکیده
We plunge decentralized control problems into modular ones to benefit from the know-how of modular control theory: any decentralized control problem is associated to a natural modular control problem, which over-approximates it. Then, we discuss how a solution of the latter problem delivers a solution of the former.
منابع مشابه
A symbolic approach to decentralized supervisory control of hybrid systems
We suggest a synthetic symbolic approach to decentralized supervisory control for the class of hybrid dynamical systems that can be modelled as hybrid state machines with a finite external signal space. The decentralized computational scheme represents a conjunction of a finite number of subsupervisors, which are invoked by a decomposition of the external signal space. On this basis, we derive ...
متن کاملRecent Results on Computational Issues in Supervisory Control
We present and discuss the implications of recent results by several researchers on computational issues in supervisory control of discrete event systems. The first issue discussed is the boundary between decidability and undecidability in centralized and decentralized control problems for systems modeled by finite-state automata and subject to regular language specifications. The second issue ...
متن کاملDecentralized Modular Hybrid Supervisory Control for the Formation of Unmanned Helicopters
This paper presents a collision-free decentralized hybrid supervisory control approach for the Unmanned Aerial Vehicles (UAVs) that are involved in a leader-follower formation mission. Towards this end, a symbolic motion planning scheme is developed to polarly partition the motion space, which results in a finite state discrete model for the motion dynamics of each UAV. Then, a modular discrete...
متن کاملA Learning-based Synthesis Approach to Decentralized Supervisory Control of Discrete Event Systems with Unknown Plants
In this paper, we consider the problem of automatic synthesis of decentralized supervisor synthesis for uncertain discrete event systems. In particular, we study the case when the uncontrolled plant is unknown a priori. To deal with the unknown plants, we first characterize the co-normality of prefixclosed regular languages and propose formulas for computing the supremal co-normal sublanguages;...
متن کاملOptimal Non-blocking Decentralized Supervisory Control Using G-Control Consistency
Supervisory control synthesis encounters with computational complexity. This can be reduced by decentralized supervisory control approach. In this paper, we define intrinsic control consistency for a pair of states of the plant. G-control consistency (GCC) is another concept which is defined for a natural projection w.r.t. the plant. We prove that, if a natural projection is output control cons...
متن کامل